We have already seen some examples of types fitting the first half of that definition: Jonah is a person, sacrifices are part of the sacrificial institution, and deliverance through the ark was an event. We will see later, though, that offices and places and things can be types as well. The verbs in the latter half of the definition have been carefully chosen. Types are anticipatory (“anticipates”),9 there are correspondences between type and antitype (“shares correspondences with”), the antitype